Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
11	COMMENTARY Considerations of thin and fat Technological innovations Add to Reading List Source URL: uaw5810.org Language: English - Date: 2013-03-18 20:39:32 Academia Postdoctoral research Mathematics Theoretical computer science Education Computability theory National Postdoctoral Association Turing machine Models of computation UAW Local Alan Turing Community
12	Noname manuscript No. (will be inserted by the editor) Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions Jasmin Christian Blanchette Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Mathematical logic Logic Model theory Mathematics Computability theory Models of computation Formal languages Lambda calculus Theoretical computer science First-order logic Structure Interpretation
13	Convolution and Equidistribution: Sato-Tate Theorems for Finite-field Mellin Transforms Nicholas M. Katz Princeton University Press Princeton and Oxford Add to Reading List Source URL: web.math.princeton.edu Language: English - Date: 2011-07-20 15:37:28 Number theory Mathematics Cyclotomic fields Discrete mathematics Analytic number theory Gauss sum Kloosterman sum Equidistribution theorem FP Computability theory
14	6 base types types patterns matching clause seq. constants Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-12-10 13:53:23 Logic Computability theory Mathematical logic Theoretical computer science Symbol Substitution Lambda calculus Natural deduction
15	Chapter 3 Simple Types We study simple types in this chapter, We first formalize a simply-typed programming language L0 and then establish its type soundness, setting some machinery for development in the following chap Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-12-18 13:56:03 Computability theory Lambda calculus Theoretical computer science Computer science Mathematics Academia Proof theory
16	The Whiley Rewrite Language (WyRL) David J. Pearce School of Engineering and Computer Science, Victoria University of Wellington, New Zealand Abstract Add to Reading List Source URL: homepages.ecs.vuw.ac.nz Language: English - Date: 2015-08-18 20:05:39 Software engineering Programming language theory Computer programming Logic in computer science Formal languages Procedural programming languages Subroutines Computability theory Rewriting Recursion Whiley ALGOL 68
17	Uniqueness Typing Redefined Edsko de Vries?1 , Rinus Plasmeijer2 , and David M Abrahamson1 1 2 Trinity College Dublin, Ireland, {devriese,david}@cs.tcd.ie Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-23 03:13:56 Theoretical computer science Mathematical logic Logic Lambda calculus Models of computation Computability theory Let expression Symbol Substitution Type system Security type system
18	Revised6 Report on the Algorithmic Language Scheme MICHAEL SPERBER R. KENT DYBVIG, MATTHEW FLATT, ANTON VAN STRAATEN (Editors) RICHARD KELSEY, WILLIAM CLINGER, JONATHAN REES Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-10-24 08:58:58 Software engineering Computer programming Computing Subroutines Functional languages Functional programming Lambda calculus Computability theory Scheme Lisp Closure Anonymous function
19	Isomorphisms in the presence of sum and function types Axioms and decidability Danko ILIK Parsifal, Inria Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-04-14 11:22:28 Functional analysis Operator theory Computability theory Representation theory of Lie groups Mathematics Spectral theory Spectral theory of ordinary differential equations Adjoint functors
20	COGNITIVE SCIENCE Vol, pp. 157–205 Copyright © 1999 Cognitive Science Society, Inc. ISSNAll rights of reproduction in any form reserved. Add to Reading List Source URL: cnl.psych.cornell.edu Language: English - Date: 2006-10-09 12:19:23 Cognitive science Cognition Academia Recursion Theory of computation Computability theory Generative linguistics Noam Chomsky Transformational grammar Language acquisition Connectionism Linguistic competence

UPDATE